<HTML>
<BODY BGCOLOR="white">
<PRE>
<FONT color="green">001</FONT>    package project3.three;<a name="line.1"></a>
<FONT color="green">002</FONT>    <a name="line.2"></a>
<FONT color="green">003</FONT>    import project3.lex.Lex;<a name="line.3"></a>
<FONT color="green">004</FONT>    <a name="line.4"></a>
<FONT color="green">005</FONT>    /**<a name="line.5"></a>
<FONT color="green">006</FONT>     * The root of Project 3.<a name="line.6"></a>
<FONT color="green">007</FONT>     *<a name="line.7"></a>
<FONT color="green">008</FONT>     * &lt;pre&gt;<a name="line.8"></a>
<FONT color="green">009</FONT>     * Domain Definition:<a name="line.9"></a>
<FONT color="green">010</FONT>     *     datalogProgram : DatalogProgram<a name="line.10"></a>
<FONT color="green">011</FONT>     * &lt;/pre&gt;<a name="line.11"></a>
<FONT color="green">012</FONT>     *<a name="line.12"></a>
<FONT color="green">013</FONT>     * Last Modified: 21 Feb 2006<a name="line.13"></a>
<FONT color="green">014</FONT>     *<a name="line.14"></a>
<FONT color="green">015</FONT>     * @author Scott N. Woodfield<a name="line.15"></a>
<FONT color="green">016</FONT>     * @version 1.0<a name="line.16"></a>
<FONT color="green">017</FONT>     * @see<a name="line.17"></a>
<FONT color="green">018</FONT>     *   &lt;a href=<a name="line.18"></a>
<FONT color="green">019</FONT>     *      "../../srchtml/project3/Project3.html"<a name="line.19"></a>
<FONT color="green">020</FONT>     *      &gt;Source Code<a name="line.20"></a>
<FONT color="green">021</FONT>     *   &lt;/a&gt;<a name="line.21"></a>
<FONT color="green">022</FONT>     */<a name="line.22"></a>
<FONT color="green">023</FONT>    public class Project3<a name="line.23"></a>
<FONT color="green">024</FONT>    {<a name="line.24"></a>
<FONT color="green">025</FONT>    //Domain Implementation<a name="line.25"></a>
<FONT color="green">026</FONT>        /**<a name="line.26"></a>
<FONT color="green">027</FONT>         * The entire datalog program.<a name="line.27"></a>
<FONT color="green">028</FONT>         * @see<a name="line.28"></a>
<FONT color="green">029</FONT>         *   &lt;a href=<a name="line.29"></a>
<FONT color="green">030</FONT>         *      "../../srchtml/project3/Project3.html#datalogProgram"<a name="line.30"></a>
<FONT color="green">031</FONT>         *      &gt;Source Code<a name="line.31"></a>
<FONT color="green">032</FONT>         *   &lt;/a&gt;<a name="line.32"></a>
<FONT color="green">033</FONT>         */<a name="line.33"></a>
<FONT color="green">034</FONT>        public static DatalogProgram datalogProgram = null;<a name="line.34"></a>
<FONT color="green">035</FONT>    //Main Routine<a name="line.35"></a>
<FONT color="green">036</FONT>        /**<a name="line.36"></a>
<FONT color="green">037</FONT>         * The main routine.  All it does is call body.  We do this so we<a name="line.37"></a>
<FONT color="green">038</FONT>         * can call "body" from the test routines in the test harnass.<a name="line.38"></a>
<FONT color="green">039</FONT>         *<a name="line.39"></a>
<FONT color="green">040</FONT>         * &lt;p&gt;<a name="line.40"></a>
<FONT color="green">041</FONT>         * &lt;table&gt;<a name="line.41"></a>
<FONT color="green">042</FONT>         *   &lt;tr&gt;<a name="line.42"></a>
<FONT color="green">043</FONT>         *     &lt;td valign=top&gt;<a name="line.43"></a>
<FONT color="green">044</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.44"></a>
<FONT color="green">045</FONT>         *     &lt;/td&gt;<a name="line.45"></a>
<FONT color="green">046</FONT>         *     &lt;td valign=top&gt;<a name="line.46"></a>
<FONT color="green">047</FONT>         *       The datalog program to be read in is syntatically correct.<a name="line.47"></a>
<FONT color="green">048</FONT>         *     &lt;/td&gt;<a name="line.48"></a>
<FONT color="green">049</FONT>         *     &lt;td valign=top&gt;<a name="line.49"></a>
<FONT color="green">050</FONT>         *     &lt;/td&gt;<a name="line.50"></a>
<FONT color="green">051</FONT>         *   &lt;/tr&gt;<a name="line.51"></a>
<FONT color="green">052</FONT>         *   &lt;tr&gt;<a name="line.52"></a>
<FONT color="green">053</FONT>         *     &lt;td valign=top&gt;<a name="line.53"></a>
<FONT color="green">054</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.54"></a>
<FONT color="green">055</FONT>         *     &lt;/td&gt;<a name="line.55"></a>
<FONT color="green">056</FONT>         *     &lt;td valign=top&gt;<a name="line.56"></a>
<FONT color="green">057</FONT>         *       The result of all the queries are printed to the screen.<a name="line.57"></a>
<FONT color="green">058</FONT>         *     &lt;/td&gt;<a name="line.58"></a>
<FONT color="green">059</FONT>         *     &lt;td valign=top&gt;<a name="line.59"></a>
<FONT color="green">060</FONT>         *     &lt;/td&gt;<a name="line.60"></a>
<FONT color="green">061</FONT>         *   &lt;/tr&gt;<a name="line.61"></a>
<FONT color="green">062</FONT>         * &lt;/table&gt;<a name="line.62"></a>
<FONT color="green">063</FONT>         *<a name="line.63"></a>
<FONT color="green">064</FONT>         * @param args the command line arguments.<a name="line.64"></a>
<FONT color="green">065</FONT>         * @see<a name="line.65"></a>
<FONT color="green">066</FONT>         *   &lt;a href=<a name="line.66"></a>
<FONT color="green">067</FONT>         *      "../../srchtml/project3/Project3.html#main"<a name="line.67"></a>
<FONT color="green">068</FONT>         *      &gt;Source Code<a name="line.68"></a>
<FONT color="green">069</FONT>         *   &lt;/a&gt;<a name="line.69"></a>
<FONT color="green">070</FONT>         */<a name="line.70"></a>
<FONT color="green">071</FONT>        public static void main(String[] args)<a name="line.71"></a>
<FONT color="green">072</FONT>        {<a name="line.72"></a>
<FONT color="green">073</FONT>            System.out.println(body(args));<a name="line.73"></a>
<FONT color="green">074</FONT>        }<a name="line.74"></a>
<FONT color="green">075</FONT>    <a name="line.75"></a>
<FONT color="green">076</FONT>        /**<a name="line.76"></a>
<FONT color="green">077</FONT>         * The real main routine.<a name="line.77"></a>
<FONT color="green">078</FONT>         *<a name="line.78"></a>
<FONT color="green">079</FONT>         * We've set up the main routine this way so we can test it from junit.<a name="line.79"></a>
<FONT color="green">080</FONT>         * Junit calls a routine.  It is difficult to use junit to test an<a name="line.80"></a>
<FONT color="green">081</FONT>         * application by calling the "main" routine.<a name="line.81"></a>
<FONT color="green">082</FONT>         *<a name="line.82"></a>
<FONT color="green">083</FONT>         * &lt;p&gt;<a name="line.83"></a>
<FONT color="green">084</FONT>         * &lt;table&gt;<a name="line.84"></a>
<FONT color="green">085</FONT>         *   &lt;tr&gt;<a name="line.85"></a>
<FONT color="green">086</FONT>         *     &lt;td valign=top&gt;<a name="line.86"></a>
<FONT color="green">087</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.87"></a>
<FONT color="green">088</FONT>         *     &lt;/td&gt;<a name="line.88"></a>
<FONT color="green">089</FONT>         *     &lt;td valign=top&gt;<a name="line.89"></a>
<FONT color="green">090</FONT>         *        The input file is syntatically correct.<a name="line.90"></a>
<FONT color="green">091</FONT>         *     &lt;/td&gt;<a name="line.91"></a>
<FONT color="green">092</FONT>         *     &lt;td valign=top&gt;<a name="line.92"></a>
<FONT color="green">093</FONT>         *     &lt;/td&gt;<a name="line.93"></a>
<FONT color="green">094</FONT>         *   &lt;/tr&gt;<a name="line.94"></a>
<FONT color="green">095</FONT>         *   &lt;tr&gt;<a name="line.95"></a>
<FONT color="green">096</FONT>         *     &lt;td valign=top&gt;<a name="line.96"></a>
<FONT color="green">097</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.97"></a>
<FONT color="green">098</FONT>         *     &lt;/td&gt;<a name="line.98"></a>
<FONT color="green">099</FONT>         *     &lt;td valign=top&gt;<a name="line.99"></a>
<FONT color="green">100</FONT>         *       The results of all the queries are printed out.<a name="line.100"></a>
<FONT color="green">101</FONT>         *     &lt;/td&gt;<a name="line.101"></a>
<FONT color="green">102</FONT>         *     &lt;td valign=top&gt;<a name="line.102"></a>
<FONT color="green">103</FONT>         *     &lt;/td&gt;<a name="line.103"></a>
<FONT color="green">104</FONT>         *   &lt;/tr&gt;<a name="line.104"></a>
<FONT color="green">105</FONT>         * &lt;/table&gt;<a name="line.105"></a>
<FONT color="green">106</FONT>         *<a name="line.106"></a>
<FONT color="green">107</FONT>         * @param args the command line arguments.<a name="line.107"></a>
<FONT color="green">108</FONT>         *<a name="line.108"></a>
<FONT color="green">109</FONT>         * @return a string representing the answers to the queries.<a name="line.109"></a>
<FONT color="green">110</FONT>         * @see<a name="line.110"></a>
<FONT color="green">111</FONT>         *   &lt;a href=<a name="line.111"></a>
<FONT color="green">112</FONT>         *      "../../srchtml/project3/Project3.html#body"<a name="line.112"></a>
<FONT color="green">113</FONT>         *      &gt;Source Code<a name="line.113"></a>
<FONT color="green">114</FONT>         *   &lt;/a&gt;<a name="line.114"></a>
<FONT color="green">115</FONT>         */<a name="line.115"></a>
<FONT color="green">116</FONT>        public static String body(String[] args)<a name="line.116"></a>
<FONT color="green">117</FONT>        {<a name="line.117"></a>
<FONT color="green">118</FONT>            String result = null;<a name="line.118"></a>
<FONT color="green">119</FONT>            try{<a name="line.119"></a>
<FONT color="green">120</FONT>                Lex lex = null;<a name="line.120"></a>
<FONT color="green">121</FONT>                if(args.length == 0){<a name="line.121"></a>
<FONT color="green">122</FONT>                    lex = new Lex();<a name="line.122"></a>
<FONT color="green">123</FONT>                } else {<a name="line.123"></a>
<FONT color="green">124</FONT>                    lex = new Lex(args[0]);<a name="line.124"></a>
<FONT color="green">125</FONT>                };<a name="line.125"></a>
<FONT color="green">126</FONT>            <a name="line.126"></a>
<FONT color="green">127</FONT>                datalogProgram = new DatalogProgram(lex);<a name="line.127"></a>
<FONT color="green">128</FONT>                StringBuffer strBuffer = new StringBuffer();<a name="line.128"></a>
<FONT color="green">129</FONT>                datalogProgram.evaluateQueryList(strBuffer);<a name="line.129"></a>
<FONT color="green">130</FONT>                result = strBuffer.toString();<a name="line.130"></a>
<FONT color="green">131</FONT>            }catch(ParserException p){<a name="line.131"></a>
<FONT color="green">132</FONT>                result = p == null ? null : p.toString();   <a name="line.132"></a>
<FONT color="green">133</FONT>                System.out.println(p);<a name="line.133"></a>
<FONT color="green">134</FONT>            }catch(Exception p){<a name="line.134"></a>
<FONT color="green">135</FONT>                result = p == null ? null : p.toString();   <a name="line.135"></a>
<FONT color="green">136</FONT>            };<a name="line.136"></a>
<FONT color="green">137</FONT>            return result;<a name="line.137"></a>
<FONT color="green">138</FONT>        }<a name="line.138"></a>
<FONT color="green">139</FONT>    }<a name="line.139"></a>




























































</PRE>
</BODY>
</HTML>
